Zoltán Micskei: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (22)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Evaluating code-based test input generator tools

Cseppentő, Lajos, Micskei, Zoltán

Журнал:

Software Testing, Verification and Reliability

Рік:

2017

Мова:

english

Файл:

PDF, 1.43 MB

english, 2017

2

Classifying generated white-box tests: an exploratory study

Honfi, Dávid, Micskei, Zoltán

Журнал:

Software Quality Journal

Рік:

2019

Мова:

english

Файл:

PDF, 2.28 MB

english, 2019

3

Reactions of Nepenthone with Chromium(II) Reagents in Neutral Aqueous Medium

Károly Micskei, Julianna Gyarmati, Gábor Kovács, Sándor Makleit, Csaba Simon, Zoltán Szabó, János Marton, Sándor Hosztafi, Helmut Reinke, Hans-Joachim Drexler

Журнал:

European Journal of Organic Chemistry

Рік:

1999

Мова:

english

Файл:

PDF, 162 KB

english, 1999

4

Reactions of Nepenthone with Chromium(II) Reagents in Neutral Aqueous Medium

Károly Micskei, Julianna Gyarmati, Gábor Kovács, Sándor Makleit, Csaba Simon, Zoltán Szabó, János Marton, Sándor Hosztafi, Helmut Reinke, Hans-Joachim Drexler

Журнал:

European Journal of Organic Chemistry

Рік:

1999

Файл:

PDF, 60 KB

1999

5

ChemInform Abstract: Preparation of Acylated Pyranoid Glycals in Neutral Aqueous Medium by Using Chromium(II) Complexes as Reagents.

Gyoengyver Kovacs, Krisztina Toth, Zoltan Dinya, Laszlo Somsak, Karoly Micskei

Журнал:

Рік:

1999

Файл:

PDF, 33 KB

1999

6

Asymmetric induction by amino acid ligands in chromium(II)-assisted reduction of ketones

Julianna Gyarmati, Csongor Hajdu, Zoltán Dinya, Károly Micskei, Claudia Zucchi, Gyula Pályi

Журнал:

Journal of Organometallic Chemistry

Рік:

1999

Мова:

english

Файл:

PDF, 97 KB

english, 1999

7

Preparation of acylated pyranoid glycals in neutral aqueous medium by using chromium(II) complexes as reagents

Gyöngyvér Kovács, Krisztina Tóth, Zoltán Dinya, László Somsák, Károly Micskei

Журнал:

Рік:

1999

Мова:

english

Файл:

PDF, 717 KB

english, 1999

8

WHO-Schema bei Tumorschmerzen

Andrea Michalek-Sauberer, Zoltan Micskei, Sabine Sator-Katzenschlager

Журнал:

Wiener Klinisches Magazin

Рік:

2011

Мова:

german

Файл:

PDF, 949 KB

german, 2011

9

The many meanings of UML 2 Sequence Diagrams: a survey

Zoltán Micskei, Hélène Waeselynck

Журнал:

Software & Systems Modeling

Рік:

2011

Мова:

english

Файл:

PDF, 2.16 MB

english, 2011

10

Tool Support for Engineering Certifiable Software

László Gönczy, István Majzik, Akos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2009

Мова:

english

Файл:

PDF, 690 KB

english, 2009

11

[IEEE Sixth International Symposium on Parallel and Distributed Computing (ISPDC'07) - Hagenburg, Austria (2007.07.5-2007.07.8)] Sixth International Symposium on Parallel and Distributed Computing (ISPDC'07) - Mobile Systems from a Validation Perspective: a Case Study

Waeselynck, Helene, Micskei, Zoltan, Nguyen, Minh Duc, Riviere, Nicolas

Рік:

2007

Мова:

english

Файл:

PDF, 251 KB

english, 2007

12

[IEEE 2006 International Conference on Dependability of Computer Systems - Szklarska Poreba (2006.05.25-2006.05.27)] 2006 International Conference on Dependability of Computer Systems - Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers

Micskei, Zoltan, Majzik, Istvan

Рік:

2006

Мова:

english

Файл:

PDF, 394 KB

english, 2006

13

[IEEE 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Evaluating Symbolic Execution-Based Test Tools

Cseppento, Lajos, Micskei, Zoltan

Рік:

2015

Мова:

english

Файл:

PDF, 268 KB

english, 2015

14

[IEEE 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - SEViz: A Tool for Visualizing Symbolic Execution

Honfi, David, Voros, Andras, Micskei, Zoltan

Рік:

2015

Мова:

english

Файл:

PDF, 759 KB

english, 2015

15

Analytics of resource transients in cloud-based applications

Kocsis, Imre, Pataricza, András, Micskei, Zoltán, Kövi, András, Kocsis, Zsolt

Журнал:

International Journal of Cloud Computing

Рік:

2013

Мова:

english

Файл:

PDF, 347 KB

english, 2013

16

[IEEE 2017 Formal Methods in Computer-Aided Design (FMCAD) - Vienna (2017.10.2-2017.10.6)] 2017 Formal Methods in Computer Aided Design (FMCAD) - Theta: A framework for abstraction refinement-based model checking

Toth, Tamas, Hajdu, Akos, Vorcos, Andras, Micskei, Zoltan, Majzik, Istvan

Рік:

2017

Мова:

english

Файл:

PDF, 165 KB

english, 2017

17

Supporting Unit Test Generation via Automated Isolation

Honfi, Dávid, Micskei, Zoltán

Журнал:

Periodica Polytechnica Electrical Engineering and Computer Science

Рік:

2017

Мова:

english

Файл:

PDF, 726 KB

english, 2017

18

Repetitive Enhancement of Serum BDNF Subsequent to Continuation ECT

Vanicek, Thomas, Kranz, Georg S., Vyssoki, Benjamin, Komorowski, Arkadiusz, Fugger, Gernot, Höflich, Anna, Micskei, Zoltan, Milovic, Sergej, Lanzenberger, Rupert, Eckert, Anne, Kasper, Siegfried, Frey

Журнал:

Acta Psychiatrica Scandinavica

Рік:

2019

Мова:

english

Файл:

PDF, 1.27 MB

english, 2019

19

Efficient Strategies for CEGAR-Based Model Checking

Hajdu, Ákos, Micskei, Zoltán

Журнал:

Journal of Automated Reasoning

Рік:

2019

Мова:

english

Файл:

PDF, 1.10 MB

english, 2019

20

[IEEE 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS) - Munich, Germany (2019.9.15-2019.9.20)] 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS) - Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles

Majzik, Istvan, Semerath, Oszkar, Hajdu, Csaba, Marussy, Kristof, Szatmari, Zoltan, Micskei, Zoltan, Voros, Andras, Babikian, Aren A., Varro, Daniel

Рік:

2019

Мова:

english

Файл:

PDF, 550 KB

english, 2019

21

[IEEE 2019 9th Latin-American Symposium on Dependable Computing (LADC) - Natal, Brazil (2019.11.19-2019.11.21)] 2019 9th Latin-American Symposium on Dependable Computing (LADC) - Addressing Verification and Validation Challenges in Future Cyber-Physical Systems

Laranjeiro, Nuno, Gomez, Camilo, Schiavone, Enrico, Montecchi, Leonardo, Carvalho, Manoel J. M., Lollini, Paolo, Micskei, Zoltan

Рік:

2019

Мова:

english

Файл:

PDF, 13.30 MB

english, 2019

22

[IEEE NOMS 2020-2020 IEEE/IFIP Network Operations and Management Symposium - Budapest, Hungary (2020.4.20-2020.4.24)] NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium - From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain

Kulcsar, Geza, Koltai, Kadosa, Tanyi, Szvetlin, Peceli, Balint, Horvath, Akos, Micskei, Zoltan, Varga, Pal

Рік:

2020

Файл:

PDF, 323 KB

2020